201. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
پدیدآورنده :
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6
202. Studien zu Frege =
پدیدآورنده : Matthias Schirn (Hrsg.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
S78
203. The Arché papers on the mathematics of abstraction /
پدیدآورنده : edited by Roy T. Cook.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
QA8
.
4
.
A73
2007eb
204. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
205. The Art of the Intelligible :
پدیدآورنده : by John L. Bell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
رده :
B67
206. The Big Typescript, TS. 213 /
پدیدآورنده : Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
رده :
B3376
.
W563
B4713
2005
207. The Frege reader
پدیدآورنده : Frege, Gottlob
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,Philosophy ، Mathematics,، Philosophy
رده :
B3245
.
F22
E52
1997
208. The Frege reader
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: (طهران)
موضوع : ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Mathematics -- Philosophy,، Philosophy
رده :
B
3245
.
F73F7
209. <The> Logical Foundations of Scientific Theories
پدیدآورنده : \ Décio Krause and Jonas R. B. Arenhart
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
210. <The> Oxford Handbook of Philosophy of Mathematics and Logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Logic, Symbolic and mathematical - Philosophy
رده :
QA8
,.
4
.
O94
211. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
212. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : Handbooks, manuals, etc ، Mathematics -- Philosophy,Philosophy -- Handbooks, manuals, etc ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O964
213. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics , Philosophy,Logic, Symbolic and mathematical , Philosophy
رده :
E-BOOK
214. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
215. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده :
کتابخانه: (قم)
موضوع :
رده :
QA
8
.
4
.
O94
2005
216. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical -- Philosophy
رده :
QA
8
.
4
.
O94
2005
217. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : Mathematics -- Philosophy,Logic, Symbolic and mathematical. -- Philosophy
رده :
QA8
.
4
.
O94
2005
218. The Palgrave centenary companion to Principia Mathematica
پدیدآورنده : edited by Nicholas Griffin and Bernard Linsky.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Russell, Bertrand, -- 1872-1970. -- Principles of mathematics.,Whitehead, Alfred North, -- 1861-1947.
رده :
QA9
.
W53
E358
9999
219. The Palgrave centenary companion to Principia mathematica /
پدیدآورنده : edited by Nicholas Griffin, McMaster University, Canada and Bernard Linsky, University of Alberta, Canada
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Russell, Bertrand,1872-1970., Principia mathematica,Whitehead, Alfred North,1861-1947., Principia mathematica,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
W53
P35
2013
220. The adventure of reason :
پدیدآورنده : Paolo Mancosu
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
رده :
QA9
.
M295
2010
